associative law
$ (a * b) * c = a * (b * c)
operation is closed and satisfies the join rule → semigroup. ---
This page is auto-translated from /nishio/結合法則. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.